$\forall$$a$:$\mathbb{N}$, $n$:\{$\ldots\,${-}1\}. ($a$ rem $n$) = ($a$ rem {-}$n$)